TSTP Solution File: ANA084^1 by Mace4---1109a